2^x-1>(x+1)/2*(2+(x/2+1)/(log(x/2+1))*(1+1/(log(x/2+1))+2.51/(log^2(x/2+1))))*x^((x/2+1)/(log(x/2+1)) (1+1/(log(x/2+1))+2.51/(log^2(x/2+1))))